Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
651	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
652	Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 21 pages Failure and Equality in Functional Logic Programming ? F. J. L´opez-Fraguas and J. S´anch Add to Reading List Source URL: gpd.sip.ucm.es Language: English - Date: 2007-02-08 06:46:52
653	Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Pickler Combinators Add to Reading List Source URL: research.microsoft.com Language: English
654	Profiling Field Initialisation in Java Stephen Nelson, David J. Pearce, and James Noble Victoria University of Wellington Wellington, New Zealand {stephen,djp,kjx}@ecs.vuw.ac.nz Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2012-09-29 03:33:01 Software engineering Computing Computer programming Java Functional languages Object-oriented programming Concurrent programming languages Immutable object Constructor Scala Class Final
655	Introduction Coinduction@Work Conclusion Foundations of Total Functional Data-Flow Programming, Coinductively (Cross-Complement from MSFP 2014) Add to Reading List Source URL: www.coalg.org Language: English - Date: 2014-11-18 15:29:15
656	Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Why walk when you can take the tube? Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00
657	Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2 Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2011-01-04 17:23:47 Software engineering Computing Computer programming Concurrency control Transaction processing Complexity classes Java Functional languages Deterministic Parallel Java Determinism Deterministic algorithm Linearizability
658	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: amitlevy.com Language: English - Date: 2013-09-13 15:42:52 Computer programming Software engineering Computing Parallel computing Scheduling Software design patterns Functional programming Concurrent computing Monad Exception handling Synchronization Futures and promises
659	Automatic Generation of Object Usage Specifications from Large Method Traces Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2009-09-02 13:08:00 Software engineering Computing Computer programming Object-oriented programming languages Programming paradigms Concurrent programming languages Functional languages Aspect-oriented software development Runtime verification Objective-C Iterator Java
660	Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-15 10:51:13 Software engineering Computer programming Computing Subroutines Lambda calculus Functional programming Data types JavaScript Eval Anonymous function Scope Substitution

UPDATE